Thomas A. Henzinger (auth.): البحث على موقع Z-Library

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024 حول جمع التبرعات

حرية الوصول إلى المعرفة والثقافة.

جمع التبرعات 15 سبتمبر 2024 – 1 أكتوبر 2024

Z-Library واحدة من أكبر المكتبات الإلكترونية في العالم والتي تحتوي علي أكثر من 17,000,000 كتاب و 84,837,000 مقالة. هدفنا جعل الأدب متاح للجميع. اليوم ((15 سبتمبر 2024 نبدأ بجمع أموال وتبرعات إضافية لدعم و تطوير المشروع.

تتوفر أيضًا تنزيلات غير محدودة (في غضون 31 يومًا بعد يوم التبرع) لجميع المستخدمين الذين سيدعمون المشروع ويتبرعون خلال فترة جمع التبرعات حتى 1 أكتوبر 2024.

حول جمع التبرعاتالمزيد من التفاصيل

قدم تبرع لدعم المشروع

1

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Dirk Beyer, Andreas Stahlbauer (auth.), Antonín Kučera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomáš Vojnar, David Antoš (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 2.72 MB

0 / 0

english, 2013

2

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Joseph Sifakis (auth.), Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 6.76 MB

0 / 0

english, 2006

3

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 5.84 MB

0 / 0

english, 1996

4

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)

عام:

1994

اللغة:

english

ملف:

DJVU, 4.18 MB

0 / 0

english, 1994

5

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 3.95 MB

0 / 0

english, 2003

6

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

Embedded Software: First International Workshop, EMSOFT 2001 Tahoe City, CA, USA, October 8–10, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Perry Alexander, Cindy Kong (auth.), Thomas A. Henzinger, Christoph M. Kirsch (eds.)

عام:

2001

اللغة:

english

ملف:

PDF, 4.55 MB

0 / 0

english, 2001

7

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 6.51 MB

0 / 0

english, 2005

8

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 3.08 MB

0 / 0

english, 2010

9

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 10.08 MB

0 / 0

english, 2009

10

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 3.14 MB

0 / 0

english, 2010

11

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Tarek Abdelzaher (auth.), Krishnendu Chatterjee, Thomas A. Henzinger (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 3.41 MB

0 / 5.0

english, 2010

12

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jakob Ruess, John Lygeros (auth.), Ashutosh Gupta, Thomas A. Henzinger (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 7.10 MB

0 / 0

english, 2013

13

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Hybrid Systems: Computation and Control: First International Workshop, HSCC'98 Berkeley, California, USA, April 13 – 15, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Eugene Asarin (auth.), Thomas A. Henzinger, Shankar Sastry (eds.)

عام:

1998

اللغة:

english

ملف:

DJVU, 4.54 MB

0 / 0

english, 1998

14

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Model Driven Engineering Languages and Systems: 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30–October 5, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Robert B. France, Jürgen Kazmeier, Ruth Breu, Colin Atkinson (eds.)

عام:

2012

اللغة:

english

ملف:

DJVU, 10.02 MB

0 / 0

english, 2012

15

Hybrid Systems III: Verification and Control

Hybrid Systems III: Verification and Control

Springer-Verlag Berlin Heidelberg

John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 9.94 MB

0 / 0

english, 1996

16

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Automata, Languages and Programming: 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger (auth.), Susanne Albers, Alberto Marchetti-Spaccamela, Yossi Matias, Sotiris Nikoletseas, Wolfgang Thomas (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 7.06 MB

0 / 0

english, 2009

17

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Formal Modeling and Analysis of Timed Systems: 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger, Vinayak S. Prabhu (auth.), Eugene Asarin, Patricia Bouyer (eds.)

عام:

2006

اللغة:

english

ملف:

PDF, 5.31 MB

0 / 0

english, 2006

18

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Sundar Sarukkai, Sandeep Sen (eds.)

عام:

2005

اللغة:

english

ملف:

PDF, 4.60 MB

0 / 0

english, 2005

19

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Computer Science Logic: 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Samson Abramsky (auth.), Jacques Duparc, Thomas A. Henzinger (eds.)

عام:

2007

اللغة:

english

ملف:

PDF, 6.02 MB

0 / 0

english, 2007

20

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 6.00 MB

0 / 0

english, 2010

21

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

عام:

1996

اللغة:

english

ملف:

DJVU, 5.09 MB

0 / 0

english, 1996

22

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Krishnendu Chatterjee, Thomas A. Henzinger (auth.), Ahmed Bouajjani, Wei-Ngan Chin (eds.)

عام:

2010

اللغة:

english

ملف:

PDF, 6.05 MB

0 / 0

english, 2010

23

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)

عام:

1996

اللغة:

english

ملف:

PDF, 14.40 MB

0 / 0

english, 1996

24

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Implementation and Application of Automata: 8th International Conference, CIAA 2003 Santa Barbara, CA, USA, July 16–18, 2003 Proceedings

Springer-Verlag Berlin Heidelberg

Thomas A. Henzinger (auth.), Oscar H. Ibarra, Zhe Dang (eds.)

عام:

2003

اللغة:

english

ملف:

PDF, 6.99 MB

0 / 0

english, 2003